EXTRA_DIST +=						\
	build-aux/extract-trace				\
	build-aux/options-parser
